atomic formula中文是什么意思

发音:

用"atomic formula"造句"atomic formula"怎么读"atomic formula" in a sentence

中文翻译手机版

【化学】原子式，结构式。

"atomic"中文翻译 adj. 1.原子的。 2.极微的。 3.强大的。
"formula"中文翻译 n. (pl. formulas, -lae ) 1.公 ...
"atomic mass formula" 中文翻译 : 原子质量公式
"atomic" 中文翻译 : adj. 1.原子的。 2.极微的。 3.强大的。
"by formula" 中文翻译 : 按公式
"formula" 中文翻译 : n. (pl. formulas, -lae ) 1.公式，程式；定则，方案。 2.【医学】配方，处方。 3.(政治口号等的)提法，表述，套语，惯用语句。 4.【宗教】信仰表白书。 5.【化学】式；【数学】公式。 a formula for making soap 肥皂制法[配方]。 formula of integration 积分公式。 a binominal formula 【数学】二项式。 a legal formula 法律上的惯用语句。 a molecular formula 【化学】分子式。 a structural formula 【化学】结构式，构造式。 adj. (赛车)方程式的(指赛车要符合规定的体积，重量及汽缸容量等)。
"the formula" 中文翻译 : 魔头对魔头
"atomic atomic emission spectrometry" 中文翻译 : 原子发射光谱法
"atomic radii(＝atomic radius)" 中文翻译 : 原子半径
"air-atomic" 中文翻译 : 投原子弹
"at atmosphere；atomic" 中文翻译 : 大气层；原子的
"atomar atomic" 中文翻译 : 原子的
"atomic a orption" 中文翻译 : 原子吸收作用
"atomic absorption" 中文翻译 : 原子吸收作用
"atomic abundance" 中文翻译 : 原子丰度
"atomic accelerator" 中文翻译 : 原子加速器; 原子粒子加速器
"atomic action" 中文翻译 : 原子动作原子酌; 原子突击
"atomic adsorption" 中文翻译 : 原子吸附
"atomic age" 中文翻译 : 原子时代。
"atomic aggregate" 中文翻译 : 原子集合体
"atomic aircraft" 中文翻译 : 原子武器飞机
"atomic ammunition" 中文翻译 : 原子弹药
"atomic amplifier" 中文翻译 : 原子放大器
"atomic apparatus" 中文翻译 : 原子核物理仪器; 原子能装置
"atomic arrageement" 中文翻译 : 原子配列

例句与用法

The atomic formula is called atom for short in predicate calculus
在谓词演算中,有时将原子公式简称为原子。
Remove irrelevant atomic formulas for timed automaton model checking
时间自动机的模型检验中消除无关原子约束
Removing irrelevant atomic formulas for checking timed automata efficiently . in proc
因此，无关的原子约束是广泛存在的。
A time constraint is a conjunction of atomic formulas which bound the differences of clock values
时间自动机是可以用于对实时系统建模的有效工具。
In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一个时间自动机是一个五元组n , l 0 , c , e , i ，其中n为一个有穷的位置集合， l 0n是初始状态， c是一个取实数值的时钟变量的有穷集合， e ng c 2 cn是转换的集合。

用"atomic formula"造句

其他语种

百科解释

In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic.

详细百科解释